Optimal. Leaf size=595 \[ \frac {(3 c d-4 b e) x \sqrt {d+e x^2}}{8 c^2}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c}-\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {b+\sqrt {b^2-4 a c}}}+\frac {d (3 c d-4 b e) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{8 c^2 \sqrt {e}}-\frac {\sqrt {e} \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{2 c^3}-\frac {\sqrt {e} \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{2 c^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 2.38, antiderivative size = 595, normalized size of antiderivative = 1.00, number of steps
used = 17, number of rules used = 9, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.310, Rules used = {1305, 396,
201, 223, 212, 1706, 399, 385, 211} \begin {gather*} -\frac {\sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )} \left (-\frac {3 a b c e-2 a c^2 d+b^3 (-e)+b^2 c d}{\sqrt {b^2-4 a c}}+a c e+b^2 (-e)+b c d\right ) \text {ArcTan}\left (\frac {x \sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )} \left (\frac {3 a b c e-2 a c^2 d+b^3 (-e)+b^2 c d}{\sqrt {b^2-4 a c}}+a c e+b^2 (-e)+b c d\right ) \text {ArcTan}\left (\frac {x \sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}{\sqrt {\sqrt {b^2-4 a c}+b} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {\sqrt {b^2-4 a c}+b}}-\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right ) \left (-\frac {3 a b c e-2 a c^2 d+b^3 (-e)+b^2 c d}{\sqrt {b^2-4 a c}}+a c e+b^2 (-e)+b c d\right )}{2 c^3}-\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right ) \left (\frac {3 a b c e-2 a c^2 d+b^3 (-e)+b^2 c d}{\sqrt {b^2-4 a c}}+a c e+b^2 (-e)+b c d\right )}{2 c^3}+\frac {x \sqrt {d+e x^2} (3 c d-4 b e)}{8 c^2}+\frac {d (3 c d-4 b e) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{8 c^2 \sqrt {e}}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 201
Rule 211
Rule 212
Rule 223
Rule 385
Rule 396
Rule 399
Rule 1305
Rule 1706
Rubi steps
\begin {align*} \int \frac {x^4 \left (d+e x^2\right )^{3/2}}{a+b x^2+c x^4} \, dx &=\frac {\int \sqrt {d+e x^2} \left (c d-b e+c e x^2\right ) \, dx}{c^2}-\frac {\int \frac {\sqrt {d+e x^2} \left (a (c d-b e)+\left (b c d-b^2 e+a c e\right ) x^2\right )}{a+b x^2+c x^4} \, dx}{c^2}\\ &=\frac {x \left (d+e x^2\right )^{3/2}}{4 c}-\frac {\int \left (\frac {\left (b c d-b^2 e+a c e+\frac {-b^2 c d+2 a c^2 d+b^3 e-3 a b c e}{\sqrt {b^2-4 a c}}\right ) \sqrt {d+e x^2}}{b-\sqrt {b^2-4 a c}+2 c x^2}+\frac {\left (b c d-b^2 e+a c e-\frac {-b^2 c d+2 a c^2 d+b^3 e-3 a b c e}{\sqrt {b^2-4 a c}}\right ) \sqrt {d+e x^2}}{b+\sqrt {b^2-4 a c}+2 c x^2}\right ) \, dx}{c^2}+\frac {(3 c d-4 b e) \int \sqrt {d+e x^2} \, dx}{4 c^2}\\ &=\frac {(3 c d-4 b e) x \sqrt {d+e x^2}}{8 c^2}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c}+\frac {(d (3 c d-4 b e)) \int \frac {1}{\sqrt {d+e x^2}} \, dx}{8 c^2}-\frac {\left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {\sqrt {d+e x^2}}{b-\sqrt {b^2-4 a c}+2 c x^2} \, dx}{c^2}-\frac {\left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {\sqrt {d+e x^2}}{b+\sqrt {b^2-4 a c}+2 c x^2} \, dx}{c^2}\\ &=\frac {(3 c d-4 b e) x \sqrt {d+e x^2}}{8 c^2}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c}+\frac {(d (3 c d-4 b e)) \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{8 c^2}-\frac {\left (e \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\sqrt {d+e x^2}} \, dx}{2 c^3}-\frac {\left (\left (2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e\right ) \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\left (b-\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}} \, dx}{2 c^3}-\frac {\left (e \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\sqrt {d+e x^2}} \, dx}{2 c^3}-\frac {\left (\left (2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e\right ) \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\left (b+\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}} \, dx}{2 c^3}\\ &=\frac {(3 c d-4 b e) x \sqrt {d+e x^2}}{8 c^2}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c}+\frac {d (3 c d-4 b e) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{8 c^2 \sqrt {e}}-\frac {\left (e \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{2 c^3}-\frac {\left (\left (2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e\right ) \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \text {Subst}\left (\int \frac {1}{b-\sqrt {b^2-4 a c}-\left (-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e\right ) x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{2 c^3}-\frac {\left (e \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{2 c^3}-\frac {\left (\left (2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e\right ) \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right )\right ) \text {Subst}\left (\int \frac {1}{b+\sqrt {b^2-4 a c}-\left (-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{2 c^3}\\ &=\frac {(3 c d-4 b e) x \sqrt {d+e x^2}}{8 c^2}+\frac {x \left (d+e x^2\right )^{3/2}}{4 c}-\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{2 c^3 \sqrt {b+\sqrt {b^2-4 a c}}}+\frac {d (3 c d-4 b e) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{8 c^2 \sqrt {e}}-\frac {\sqrt {e} \left (b c d-b^2 e+a c e-\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{2 c^3}-\frac {\sqrt {e} \left (b c d-b^2 e+a c e+\frac {b^2 c d-2 a c^2 d-b^3 e+3 a b c e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{2 c^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(18689\) vs. \(2(595)=1190\).
time = 16.35, size = 18689, normalized size = 31.41 \begin {gather*} \text {Result too large to show} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.16, size = 459, normalized size = 0.77
method | result | size |
risch | \(-\frac {x \left (-2 c e \,x^{2}+4 e b -5 c d \right ) \sqrt {e \,x^{2}+d}}{8 c^{2}}-\frac {\ln \left (\sqrt {e}\, x +\sqrt {e \,x^{2}+d}\right ) e^{\frac {3}{2}} a}{c^{2}}+\frac {\ln \left (\sqrt {e}\, x +\sqrt {e \,x^{2}+d}\right ) e^{\frac {3}{2}} b^{2}}{c^{3}}-\frac {3 \ln \left (\sqrt {e}\, x +\sqrt {e \,x^{2}+d}\right ) \sqrt {e}\, b d}{2 c^{2}}+\frac {3 \ln \left (\sqrt {e}\, x +\sqrt {e \,x^{2}+d}\right ) d^{2}}{8 c \sqrt {e}}-\frac {\sqrt {e}\, \left (\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{4}+\left (4 e b -4 c d \right ) \textit {\_Z}^{3}+\left (16 a \,e^{2}-8 d e b +6 c \,d^{2}\right ) \textit {\_Z}^{2}+\left (4 d^{2} e b -4 c \,d^{3}\right ) \textit {\_Z} +d^{4} c \right )}{\sum }\frac {\left (\left (2 a b c \,e^{2}-2 a \,c^{2} d e -b^{3} e^{2}+2 b^{2} c d e -b \,c^{2} d^{2}\right ) \textit {\_R}^{2}+2 \left (2 e^{3} c \,a^{2}-2 a \,b^{2} e^{3}+2 a b c d \,e^{2}+b^{3} d \,e^{2}-2 b^{2} c \,d^{2} e +b \,c^{2} d^{3}\right ) \textit {\_R} +2 a b c \,d^{2} e^{2}-2 a \,c^{2} d^{3} e -b^{3} d^{2} e^{2}+2 b^{2} c \,d^{3} e -b \,c^{2} d^{4}\right ) \ln \left (\left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )^{2}-\textit {\_R} \right )}{c \,\textit {\_R}^{3}+3 \textit {\_R}^{2} b e -3 \textit {\_R}^{2} c d +8 \textit {\_R} a \,e^{2}-4 \textit {\_R} b d e +3 c \,d^{2} \textit {\_R} +d^{2} e b -c \,d^{3}}\right )}{2 c^{3}}\) | \(444\) |
default | \(\frac {\frac {x \left (e \,x^{2}+d \right )^{\frac {3}{2}}}{4}+\frac {3 d \left (\frac {x \sqrt {e \,x^{2}+d}}{2}+\frac {d \ln \left (\sqrt {e}\, x +\sqrt {e \,x^{2}+d}\right )}{2 \sqrt {e}}\right )}{4}}{c}+\frac {\sqrt {e}\, \left (\frac {b \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )^{2}}{2 c}+\frac {\left (4 a c e -4 b^{2} e +6 b c d \right ) \ln \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )}{c^{2}}-\frac {b \,d^{2}}{2 c \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )^{2}}-\frac {2 \left (\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{4}+\left (4 e b -4 c d \right ) \textit {\_Z}^{3}+\left (16 a \,e^{2}-8 d e b +6 c \,d^{2}\right ) \textit {\_Z}^{2}+\left (4 d^{2} e b -4 c \,d^{3}\right ) \textit {\_Z} +d^{4} c \right )}{\sum }\frac {\left (\left (2 a b c \,e^{2}-2 a \,c^{2} d e -b^{3} e^{2}+2 b^{2} c d e -b \,c^{2} d^{2}\right ) \textit {\_R}^{2}+2 \left (2 e^{3} c \,a^{2}-2 a \,b^{2} e^{3}+2 a b c d \,e^{2}+b^{3} d \,e^{2}-2 b^{2} c \,d^{2} e +b \,c^{2} d^{3}\right ) \textit {\_R} +2 a b c \,d^{2} e^{2}-2 a \,c^{2} d^{3} e -b^{3} d^{2} e^{2}+2 b^{2} c \,d^{3} e -b \,c^{2} d^{4}\right ) \ln \left (\left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )^{2}-\textit {\_R} \right )}{c \,\textit {\_R}^{3}+3 \textit {\_R}^{2} b e -3 \textit {\_R}^{2} c d +8 \textit {\_R} a \,e^{2}-4 \textit {\_R} b d e +3 c \,d^{2} \textit {\_R} +d^{2} e b -c \,d^{3}}\right )}{c^{2}}\right )}{4 c}\) | \(459\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{4} \left (d + e x^{2}\right )^{\frac {3}{2}}}{a + b x^{2} + c x^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 6.19, size = 104, normalized size = 0.17 \begin {gather*} \frac {1}{8} \, \sqrt {x^{2} e + d} {\left (\frac {2 \, x^{2} e}{c} + \frac {{\left (5 \, c^{5} d e^{2} - 4 \, b c^{4} e^{3}\right )} e^{\left (-2\right )}}{c^{6}}\right )} x - \frac {{\left (3 \, c^{2} d^{2} - 12 \, b c d e + 8 \, b^{2} e^{2} - 8 \, a c e^{2}\right )} e^{\left (-\frac {1}{2}\right )} \log \left ({\left (x e^{\frac {1}{2}} - \sqrt {x^{2} e + d}\right )}^{2}\right )}{16 \, c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {x^4\,{\left (e\,x^2+d\right )}^{3/2}}{c\,x^4+b\,x^2+a} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________